0 # initial state
(0,0,'!a&!n',ConstantRewardFunction(0))
(0,1,'a&!n',ConstantRewardFunction(1))
(1,1,'True',ConstantRewardFunction(0))
